|
Die vorliegende Studienarbeit "Bewertung und Analyse der
Spezifikationssprache SpecCharts" untersucht die Sprache
SpecCharts und das zugehörige Werkzeug xspeccharts. SpecCharts ist
eine graphisch orientierte Spezifikationssprache, die verschiedene
Konzepte wie Nebenläufigkeit, Zustandsübergänge und auch die
Beschreibung von Abläufen mittels VHDL umfaßt Nach einer
Einführung in die grundlegenden Konzepte der Sprache werden Vor-
und Nachteile von SpecCharts anhand einer Beispielspezifikation
ausführlich diskutiert und Lösungsmöglichkeiten für noch
bestehende Probleme erarbeitet. Dazu wird eine Liste von Kriterien
aufgestellt, die eine umfassende Bewertung der Güte einer
Spezifikationssprache erlaubt. Ferner wird untersucht, inwieweit das
Werkzeug xspeccharts die Sprache SpecCharts umsetzen kann und mit
welchen Methoden die Leistungsfähigkeit des Werkzeugs verbessert
werden kann. Schließlich werden Erfahrungen, die in der
sechsmonatigen Arbeit mit der Sprache und dem Werkzeug gesammelt
wurden, wiedergegeben.
|